Assumptions: cartesian closed, self-dual
Conclusions: cocartesian coclosed
Proof: This holds by self-duality.